Extended Formulations in Mixed-integer Convex Programming

We present a unifying framework for generating extended formulations for the polyhedral outer approximations used in algorithms for mixed-integer convex programming (MICP). Extended formulations lead to fewer iterations of outer approximation algorithms and generally faster solution times. First, we observe that all MICP instances from the MINLPLIB2 benchmark library are conic representable with standard symmetric and nonsymmetric cones. Conic reformulations are shown to be effective extended formulations themselves because they encode separability structure. For mixed-integer conic-representable problems, we provide the first outer approximation algorithm with finite-time convergence guarantees, opening a path for the use of conic solvers for continuous relaxations. We then connect the popular modeling framework of disciplined convex programming (DCP) to the existence of extended formulations independent of conic representability. We present evidence that our approach can yield significant gains in practice, with the solution of a number of open instances from the MINLPLIB2 benchmark library.Comment: To be presented at IPCO 201

A rare presentation of the Klinefelter's syndrome

A 16 years old boy with Chronic Renal Failure (CRF) was not suspected of having Klinefelter's syndrome until he complained of painful gynecomastia. He was under haemodialysis for 2 years. At first, he was in an approximately full pubertal development (P5, G5), but he had a small and a firm testis (length 2.2cm) and some degree of facial male pattern hair. He also had a decreased upper to lower body segment ratio and despite having chronic renal failure, he was taller than his parents and siblings. His laboratory tests showed high levels of FSH and normal levels of LH and testosterone. With regards to all these findings, we suspected that there might be an occult Klinefelter's syndrome. So, we made his karyotype that showed a 47XXY pattern. Because there are only a few number of cases that have occult Klinefelter's syndrome in the basis of chronic renal failure, we decided to report this case

Изучение структуры цинктитановых боросиликатных стекол по данным рассеяния рентгеновских лучей под малыми углами

В статті вивчено мікронеоднорідну будову цинктитанових боросилікатних стекол та процесів фазового розділу в них за даним розсіяння нейтронів під малими кутами. Зроблено висновок про характер розподілення часток, що виділяються за розмірами, які змінюються в дослідних стеклах в залежності від вмісту в них TiO₂ та ZnO. Встановлено вплив наявності мікронеоднорідностей після варки на характер їх фазовогорозподілення.In paper the micronon-uniform structure zinc-titanium borosilicate glass and processes of phase separation in them according to diffusing under vanishing angles of neutrons is investigated. It is drawn a In paper the micronon-uniform structure zinc-titanium borosilicate glass and processes of phase separation in them according to diffusing under vanishing angles of neutrons is investigated. It is drawn a leading-out on distribution of depositing corpuscles character on sizes which changes in studied glasses depending on the contents in them TiO₂ and ZnO. Effect of presence micro micronon-uniforms after melting on character of their phase separationis established

A computational analysis of lower bounds for big bucket production planning problems

In this paper, we analyze a variety of approaches to obtain lower bounds for multi-level production planning problems with big bucket capacities, i.e., problems in which multiple items compete for the same resources. We give an extensive survey of both known and new methods, and also establish relationships between some of these methods that, to our knowledge, have not been presented before. As will be highlighted, understanding the substructures of difficult problems provide crucial insights on why these problems are hard to solve, and this is addressed by a thorough analysis in the paper. We conclude with computational results on a variety of widely used test sets, and a discussion of future research

A note on capacity models for network design

In network design problems,capacity constraints are modeled in three different ways depending on the application: directed, bidirected and undirected. In the literature, polyhedral investigations for strengthening mixed-integer formulations are done separately for each model. In this note, we examine the relationship between these models to provide a unifying approach and show that one can indeed translate valid inequalities from one to the others